Computability logic - PDFSEARCH.IO - Document Search Engine

Computability logic
Results: 552

#	Item
101	Computable Real Analysis without Set Theory or Turing Machines Paul Taylor Department of Computer Science University of Manchester UK EPSRC GR/S58522 Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:32:50 Theory of computation Mathematical logic General topology Functional analysis Computable number Computable function Continuous function Baire space Topological space Computability theory Mathematics Topology
102	On the completeness of quantum computation models Pablo Arrighi ´ Ecole normale sup´erieure de Lyon Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2011-01-28 11:35:52 Mathematical logic Applied mathematics Computable function Recursive set Enumeration Function Numbering Church–Turing thesis Computability Computability theory Theory of computation Mathematics
103	Balancing lists: a proof pearl? Guyslain Naves1 and Arnaud Spiwack2 1 Aix Marseille Université, CNRS, LIF UMR 7279, 13288, Marseille, France Add to Reading List Source URL: assert-false.net Language: English - Date: 2014-06-13 08:06:32 Recursion Higher-order functions Functional languages Mathematical logic Computability theory Binary tree Map Tree Binary search tree Computer programming Computing Software engineering
104	BRICS Basic Research in Computer Science BRICS DS-00-7 M. Jurdzi´nski: Games for Verification: Algorithmic Issues Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-09-13 08:14:25 Logic in computer science Computability theory Formal methods Model checking Theory of computation Algorithm BRIC Halting problem Formal verification Theoretical computer science Applied mathematics Mathematics
105	The Call-by-need Lambda Calculus, Revisited Stephen Chang and Matthias Felleisen College of Computer Science Northeastern University Boston, Massachusetts, USA { stchang \| matthias } @ ccs.neu.edu Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2012-08-23 01:51:44 Theoretical computer science Lambda calculus Computability theory Evaluation strategy Calculus Free variables and bound variables Function Parameter Algorithm Mathematics Mathematical logic Applied mathematics
106	BRICS Basic Research in Computer Science BRICS RSU. Kohlenbach: On the Uniform Weak K¨onig’s Lemma On the Uniform Weak K¨onig’s Lemma Add to Reading List Source URL: www.brics.dk Language: English - Date: 1999-06-22 09:34:21 Proof theory Computability theory Functions and mappings Reverse mathematics Mathematical proofs Primitive recursive function Gödel–Gentzen negative translation Primitive recursive arithmetic Second-order arithmetic Mathematics Mathematical logic Logic
107	Sober Spaces and Continuations Paul Taylor August 5, 2003 Abstract A topological space is sober if it has exactly the points that are dictated by its open sets. We explain the analogy with the way in which computational Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 13:02:39 Functions and mappings Theoretical computer science Formal methods Models of computation Model theory Symbol Lambda calculus Interpretation Primitive recursive function Mathematics Mathematical logic Computability theory
108	BRICS RSO. Danvy: From Reduction-Based to Reduction-Free Normalization BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-01-20 05:23:35 Computability theory Formal languages Logic in computer science Lambda calculus Models of computation Reduction strategy Standard ML Function Normal form Theoretical computer science Mathematics Programming language theory
109	Typed Normal Form Bisimulation for Parametric Polymorphism Soren B. Lassen Google, Inc. Paul Blain Levy Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2008-07-15 06:16:32 Lambda calculus Computability theory Fixed-point combinator Combinatory logic Sheaf Theoretical computer science Mathematics Applied mathematics
110	The Lazy Lambda Calculus Samson Abramsky Department of Computing Imperial College of Science and Technology March 6, 2006 Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:33:34 Applied mathematics Lambda calculus Computability theory Combinatory logic Spectral theory of ordinary differential equations Holomorphic functional calculus Mathematics Theoretical computer science Spectral theory

UPDATE